Merge branch 'flush-events' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Sat, 24 Oct 2020 12:53:01 +0000 (12:53 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Sat, 24 Oct 2020 12:53:01 +0000 (12:53 +0000)
Flush events

See merge request GNOME/gtk!2740


Trivial merge